| Finalization |
|
A generalization of garbage collection |
|
|
Normally asynchronous, may be synchronous |
|
|
Finalization on exit |
|
|
Guarantees? |